48 ideas
10354 | Correspondence could be with other beliefs, rather than external facts [Kusch] |
10353 | Tarskians distinguish truth from falsehood by relations between members of sets [Kusch] |
18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
15375 | If terms change their designations in different states, they are functions from states to objects [Fitting] |
15376 | Intensional logic adds a second type of quantification, over intensional objects, or individual concepts [Fitting] |
15378 | Awareness logic adds the restriction of an awareness function to epistemic logic [Fitting] |
15379 | Justication logics make explicit the reasons for mathematical truth in proofs [Fitting] |
11026 | Classical logic is deliberately extensional, in order to model mathematics [Fitting] |
8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
8492 | Relations are functions with two arguments [Frege] |
11028 | λ-abstraction disambiguates the scope of modal operators [Fitting] |
8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
15377 | Definite descriptions pick out different objects in different possible worlds [Fitting] |
10337 | We can have knowledge without belief, if others credit us with knowledge [Kusch] |
10357 | Methodological Solipsism assumes all ideas could be derived from one mind [Kusch] |
10339 | Foundations seem utterly private, even from oneself at a later time [Kusch] |
10331 | Testimony is reliable if it coheres with evidence for a belief, and with other beliefs [Kusch] |
10338 | The coherentist restricts the space of reasons to the realm of beliefs [Kusch] |
10340 | Individualistic coherentism lacks access to all of my beliefs, or critical judgement of my assessment [Kusch] |
10345 | Individual coherentism cannot generate the necessary normativity [Kusch] |
10350 | Cultures decide causal routes, and they can be critically assessed [Kusch] |
10343 | Process reliabilism has been called 'virtue epistemology', resting on perception, memory, reason [Kusch] |
10341 | Justification depends on the audience and one's social role [Kusch] |
10325 | Vindicating testimony is an expression of individualism [Kusch] |
10324 | Testimony does not just transmit knowledge between individuals - it actually generates knowledge [Kusch] |
10327 | Some want to reduce testimony to foundations of perceptions, memories and inferences [Kusch] |
10329 | Testimony won't reduce to perception, if perception depends on social concepts and categories [Kusch] |
10330 | A foundation is what is intelligible, hence from a rational source, and tending towards truth [Kusch] |
10334 | Testimony is an area in which epistemology meets ethics [Kusch] |
10336 | Powerless people are assumed to be unreliable, even about their own lives [Kusch] |
10323 | Communitarian Epistemology says 'knowledge' is a social status granted to groups of people [Kusch] |
10348 | Private justification is justification to imagined other people [Kusch] |
10335 | Myths about lonely genius are based on epistemological individualism [Kusch] |
10349 | To be considered 'an individual' is performed by a society [Kusch] |
10344 | Our experience may be conceptual, but surely not the world itself? [Kusch] |
9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
8488 | A concept is a function whose value is always a truth-value [Frege] |
9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
10358 | Often socialising people is the only way to persuade them [Kusch] |
10333 | Communitarianism in epistemology sees the community as the primary knower [Kusch] |
10351 | Natural kinds are social institutions [Kusch] |
10332 | Omniscience is incoherent, since knowledge is a social concept [Kusch] |
8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |